Hybrid Architecture of DL Knowledge Base in KaSeA
نویسندگان
چکیده
KaSeA system has been developed within PIPS (Personalised Information Platform for life and health Services) project. PIPS is an R&D integrated ehealth project carried out within the 6 Framework Programme of EU. One of the major subsystems of PIPS is Knowledge Management System (KMS), which should manage knowledge providing reasoning system: scalable with respect to number of terms defined in the ontology as well as with respect to number of individuals. Having performed extensive experiments on widely available reasoners such as Jena, RACER and FaCT, we found that no existing knowledge management systems meet this requirement. Therefore KaSeA has been developed, with a special focus on it. Fulfilling this assumption required development of an architecture of the Knowledge Base (KB) and designing an interface to access it. The knowledge managed by KaSeA system is divided into two parts. Ontological part of KB holds data in a form allowing for inferences with respect to defined concepts and roles. This part contains TBox and ABox data and is managed by the Knowledge Inference Engine (KIE) based on the idea of Knowledge Cartography. Data part of KB (called DBox) holds numerical and string values of attributes of individuals and is managed by DBox Manager. Such division has advantages related to processing compound queries (both concerning DBox and ABox) in parallel and is efficient in systems which use knowledge base not only as a source of knowledge but also as a source of data. In order to allow interchanging knowledge between a client and KaSeA, the system provides an interface to access its inference mechanisms. DIGUT interface is based on DIG and widens its capabilities by adding three-value logics and expanding DIG expressiveness. Capabilities of KaSeA have been verified and validated against first versions of PIPS system called Demonstrator.
منابع مشابه
G-Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define g-hybrid knowledge bases as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similarly to the DL+log knowledge bases from [25]. G-hybrid knowledge bases enable an integration of Description Logics and Logic Programming where,...
متن کاملAn Approach to Management of Health Care and Medical Diagnosis Using of a Hybrid Disease Diagnosis System
Introduction: In order to simplify the information exchange within the medical diagnosis process, a collaborative software agent’s framework is presented. The purpose of the framework is to allow the automated information exchange between different medicine specialists. Methods: This study presented architecture of a hybrid disease diagnosis system. The architecture employed a learning...
متن کاملGuarded hybrid knowledge bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similar to the DL+log knowledge bases from (Rosati 2006). G-hybrid knowledge bases enable an integration of Desc...
متن کاملTowards an Eecient Description Logics System with Individuals
This report presents the status of the research the author is conducting on the development of a complete Description Logics knowledge representation system. Description Logics knowledge representation systems are based of a family of formal languages for describing complex structured classes. These languages comprise boolean operators and quanti cation over class attributes, as well as the dec...
متن کاملCompositional Semantics for Description Knowledge Bases with Rules
Descriptions and Rules are diierent, complementary, essential forms of knowledge. Descriptions are analytic and closed; rules are contingent and open. The two forms can be integrated either by compiling one form within the other, or by constructing a hybrid framework. The hybrid solution keeps the modular independent status of each approach, but needs an underlying integration framework, in whi...
متن کامل